
// ---- Expect: diagnostics ----
